contoh kalimat theoretical computer science

• Is there any book on the philosophical implications of Theoretical Computer Science?
  Apakah ada buku tentang implikasi filosofis dari Theoretical Computer Science?
• Kane has written over 90 research papers in number theory, combinatorics, game theory, theoretical computer science, and related fields.
  Kane telah menulis lebih dari 80 makalah penelitian dalam teori bilangan, kombinatorik, teori permainan, ilmu komputer teoritis, dan bidang terkait.
• Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science, as well as to category theory.
  Logika modern dibagi ke dalam teori rekursi, teori model, teori pembuktian terpaut dekat dengan ilmu komputer teoretis.
• TIFR conducts research primarily in the natural sciences, mathematics, the biological sciences and theoretical computer science and is considered to be one among India's outstanding research centres.
  TIFR melakukan penelitian terutama dalam ilmu-ilmu alam, matematika, ilmu biologi dan ilmu komputer teoretis dan dianggap salah satu pusat penelitian yang beredar di India.
• In theoretical computer science and mathematics, the theory of computation is the branch that deals with how efficiently problems can be solved on a model of computation, using an algorithm.
  Teori komputasi adalah cabang ilmu komputer dan matematika yang membahas apakah dan bagaimanakah suatu masalah dapat dipecahkan pada model komputasi, menggunakan algoritme.
• Formal sciences are formal language disciplines concerned with formal systems, such as logic, mathematics, statistics, theoretical computer science, robotics, information theory, game theory, systems theory, decision theory, and theoretical linguistics.
  Ilmu formal adalah disiplin yang terkait dengan sistem formal seperti logika, matematika, statistika, ilmu komputer teoretis, teori informasi, teori permainan, teori sistem, teori pengambilan keputusan, dan linguistika.
• Mathematical Reviews – journal and online database published by the American Mathematical Society (AMS) that contains brief synopses (and occasionally evaluations) of many articles in mathematics, statistics and theoretical computer science.
  Mathematical Reviews adalah jurnal dan basis data daring yang diterbitkan oleh American Mathematical Society (AMS) yang berisi sinposis singkat (dan kadang-kadang evaluasi) sejumlah artikel dalam bidang matematika, statistika, dan ilmu komputer teoretis.
• The publication of new discoveries in mathematics continues at an immense rate in hundreds of scientific journals, many of them devoted to mathematics and many devoted to subjects to which mathematics is applied (such as theoretical computer science and theoretical physics).
  Banyak jurnal yang memang khusus untuk matematika dan banyak juga mengenai subjek yang mengaplikasikan matematika (misalnya ilmu komputer teoretis dan fisika teoretis).